LIQUIDERRORINTERNAL SAT